ST-structures

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ST-structures

The present paper defines ST-structures (and an extension of these, called STC-structures). The main purpose is to provide concrete relationships between highly expressive concurrency models coming from two different schools of thought: the higher dimensional automata, a state-based approach of Pratt and van Glabbeek; and the configuration structures and unrestricted event structures, an event-...

متن کامل

رواداری در نظریه ی ST

چکیده: کوبرروز و دیگران (2012) نظریه ای در باب ابهام پرورانده اند که طی آن مدلی برای رواداری ارائه کنند. قصد بر این است که در این مدل رواداری معتبر باشد؛ چنین نباشد که یک محمول مبهم بر هر چیزی حمل شود؛ و نیز استدلال های پارادوکس خرمن معتبر نباشند. در این مقاله استدلال خواهد شد که اولا، تحدید ایشان از اصل رواداری از آنچه در ادبیات مربوط به ابهام مورد توافق است فاصله می گیرد. و ثانیا، نظریه ایشان...

متن کامل

F(ST) and Q(ST) under neutrality.

A commonly used test for natural selection has been to compare population differentiation for neutral molecular loci estimated by F(ST) and for the additive genetic component of quantitative traits estimated by Q(ST). Past analytical and empirical studies have led to the conclusion that when averaged over replicate evolutionary histories, Q(ST) = F(ST) under neutrality. We used analytical and s...

متن کامل

On Generalized Weak Structures

Avila and Molina [1] introduced the notion of generalized weak structures which naturally generalize minimal structures, generalized topologies and weak structures and the structures α(g),π(g),σ(g) and β(g). This work is a further investigation of generalized weak structures due to Avila and Molina. Further we introduce the structures ro(g) and rc(g) and study the properties of the structures r...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming

سال: 2016

ISSN: 2352-2208

DOI: 10.1016/j.jlamp.2015.10.009